• Home
• Categories
• Proof assistant

Proof assistant

Systematic development of correct Bulk Synchronous Parallel programs

Functional Programming / Parallel Programming / Cost Model / Formal Specification / Formal method / Parallel / Proof assistant / Parallel / Proof assistant

Download

A practical module system for LF

Modules / Structures / Proof assistant / Views / Programming language

Download